Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
721	California Energy Commission Public Comment from Rob Falke, President National Comfort Institute 5556 Corporate Avenue, Cypress, CA[removed]removed] November 12, 2012 Add to Reading List Source URL: www.energy.ca.gov Language: English - Date: 2013-01-22 16:33:06 Quality assurance HVAC Acceptance testing Verification and validation Technology Engineering Science Building engineering Software testing Evaluation
722	1 Rapid Property Specification and Checking for Model-Based Formalisms Daniel Balasubramanian, Gabor Pap, Harmon Nine, Gabor Karsai Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2011-04-21 15:55:05 Software Model checkers Software testing Model checking Simulink Java Pathfinder SPIN model checker Constraint automaton Software verification Automata theory Theoretical computer science Computing
723	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2011-06-10 06:16:57 Maude system Software engineering Computing
724	California Energy Commission DOCKETED 12-BSTD-2 Public Comment from Rob Falke, President National Comfort Institute 5556 Corporate Avenue, Cypress, CA[removed]removed] Add to Reading List Source URL: www.energy.ca.gov Language: English - Date: 2013-01-22 16:33:06 Quality management Evaluation Quality assurance Technology HVAC Acceptance testing Verification and validation Science Engineering Systems engineering Building engineering Software testing
725	Operating System Verification for Real Use Gernot Heiser School of Computer Science and Engineering, University of New South Wales, and Embedded, Real-Time and Operating Systems Program, National ICT Australia Sydney, Au Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-07-22 18:53:53 Gernot Heiser L4 microkernel family Microkernel Formal verification Kernel Embedded system Ring Linux kernel Operating system Computer architecture System software Software
726	NRL Release Number[removed]Applying a Formal Requirements Method to Three NASA Systems: Lessons Learned Constance L. Heitmeyer and Ralph D. Jeffords Naval Research Laboratory (Code 5546) Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-04-25 12:55:41 Software requirements Systems engineering Formal methods Requirement Software Requirements Specification Specification Software design Life-critical system Verification Software development Technology Software
727	Finding Programming Errors Earlier by Evaluating Runtime Monitors Ahead-of-Time Eric Bodden1 , Patrick Lam2 and Laurie Hendren1 1 2 Add to Reading List Source URL: www.bodden.de Language: English - Date: 2008-08-12 11:24:23 Formal methods Logic in computer science Runtime verification Theoretical computer science Iterator Q Monad Algorithm Shape analysis Computing Software engineering Computer programming
728	Software Verification and Software Engineering A Practitioner’s Perspective Anthony Hall [removed] The web page for this conference announces a “Grand Challenge” of crucial relevance to society: ensur Add to Reading List Source URL: vstte.inf.ethz.ch Language: English - Date: 2005-05-12 04:28:32 Applied mathematics Logic in computer science Software testing Formal verification Software verification Formal specification Correctness SPARK Verification Formal methods Theoretical computer science Software development
729	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 10:32:16 Maude system Software engineering Computing
730	Automatic Control and Systems Engineering The Department of Automatic Control & Systems Engineering is pleased to announce the following seminar: Add to Reading List Source URL: www.sheffield.ac.uk Language: English - Date: 2014-04-11 06:09:18 Software verification Formal specification Sir Frederick Mappin Building Science Computer science Mathematics Formal methods Verification Formal verification

UPDATE